failure 143:
Requirement failed: {strsignal.08} either a pointer to the string "unknown signal", or a null pointer
location |
trace |
/var/opt/lsb/test/olver-core/2014-01-29_05-08-38/signal_sigstr_basic_scenario.utz (signal_sigstr_basic_scenario.utt), line 2643 |
occurence |
scenario |
signal_sigstr_basic_scenario |
specification function |
strsignal_spec() |
parameter value |
CallContext context = [pid=6890,thr=b7561700] |
parameter value |
IntT sig = 32 |
return value |
(CString *) Unknown signal 32 |
coverage & branch |
strsignal_coverage ( unknown signal ) |
properties |
REQ failed |
strsignal.08 |
kind |
POSTCONDITION_FAILED |
similar known bug(s)
If sig is not a valid signal number, strsignal shall return either a pointer
either a pointer to the string "unknown signal", or a null pointer.
SYNOPSIS
...
char * strsignal(int sig);
...
RETURN VALUE
If sig is a valid signal number, strsignal() shall return a pointer
to the appropriate description string. Otherwise, strsignal() shall return
either a pointer to the string "unknown signal", or a null pointer.
...
But in real, strsignal return "Unknown signal", a space, and a number sig.
Additional information about this bug may be found at http://linuxtesting.org/results/report?num=S0685.
|
|